Received: by toadflax.cs.ucdavis.edu (4.1/UCD.CS.2.6)
id AA00707; Mon, 9 Jan 95 00:22:28 PST
Received: from mailhost.tue.nl by toadflax.cs.ucdavis.edu (4.1/UCD.CS.2.6)
id AA00701; Mon, 9 Jan 95 00:22:24 PST
Received: from terra.stack.urc.tue.nl (terra.stack.urc.tue.nl [131.155.140.128]) by mailhost.tue.nl (8.6.9/8.6.9) with SMTP id JAA25139 for <announce@cs.ucdavis.edu>; Mon, 9 Jan 1995 09:22:22 +0100
Received: from blade.stack.urc.tue.nl by terra.stack.urc.tue.nl (4.1/1.53)
id AA12703; Mon, 9 Jan 95 09:22:16 +0100
Received: (leon@localhost) by blade.stack.urc.tue.nl (8.6.9/8.6.4) id JAA26048 for announce@cs.ucdavis.edu; Mon, 9 Jan 1995 09:22:45 +0100